﻿<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" >
<head>
    <title>Session ID Menu</title>
    <script src="jquery/jquery-1.7.2.js"></script>
    <script src = "SessionIdMenu.js"></script>
</head>
<body style="background-color:#FAFAFA;">
    <h1>SessionID spawning: <font id="session_id_name_font" color = "#ff8c00"></font></h1>
    <p>
        Try to spawn<br/><input type="text" id="num_sessionids" value="100" size="7"> SessionIDs from<br/><input type="text" id="session_url_display" readonly="readonly">
    </p>
    <input type="button" id="sessionid_spawn_button" value="Spawn SessionIDs!"/>
    <input type="button" id="stop_spawning_button" value="Stop spawning" style="display:none;"/>
    <input type = "button" id = "check_distribution_button" style="display:none;" value = "Check Character distribution"/>
    <br/>
    <div id="progress"></div>
    
    <div id="spawn_div">
        <iframe id="spawn_iframe" style="display:none;"></iframe>
    </div>
    
    <div id="canvas_div">
    </div>
    <br/>
    <div id="warning_div">
    </div>
    <textarea id="spawn_results" style="display:none;" readonly="readonly"></textarea>
</body>
</html>